Nuprl Lemma : decidable__iff 13,42

PQ:. Dec(P Dec(Q Dec(P  Q
latex


Upcore 2, core 2
Definitionst  T, P  Q, P  Q, P  Q, , x:AB(x)
Lemmasdecidable wf, decidable implies, decidable and

origin